Let Gi be a collection of n finite cyclic groups. Then is cyclic if and only if |Gi| and |Gj| are relatively prime when i ≠ j.